EDA Books Online

Title	Author	Description
Verification Methodology Manual, 3rd Edition	David Dempster and Michael Stuart	[COMPLETE BOOK] This edition of the Verification Methodology Manual includes a section on dynamic property checking, a new technique that enables properties to be verified in simulation at any level of design integration. Dynamic property checking complements code coverage in helping determine the completeness of a design's verification. It also complements formal property checking by providing a measurable degree of confidence for properties that cannot be checked formally.	Order Online
Power, accuracy and noise aspects in CMOS mixed-signal design	Sanduleanu, Mihai Adrian Tiberiu	[COMPLETE BOOK] The work presented in this thesis concerns power, noise and accuracy in mixed-signal applications. Along the material presented it is shown that power, noise and accuracy should be treated in an unitary way, the three terms being well inter-related. It is divided in a theoretical part which covers sub-micron digital and sub-micron analog and an applicative part where accuracy related power and noise related power is encountered.
ASICS... the book!	Michael J. Smith	[COMPLETE BOOK] This comprehensive book on application specific integrated circuits (ASICs) describes the latest methods in VLSI-systems design.	Order Online
SMPS Simulation With SPICE 3	Steven M. Sandler	[COMPLETE BOOK] With the help of this book, circuit designers and engineers can successfully simulate switched mode power supplies (SMPS) using SPICE3 software.	Order Online
Logic Design for Array-Based Circuits	Donnamaie E. White	[COMPLETE BOOK] This book details the theory behind the new EDA tools.	Order Online
Bit-Slice Design: Controllers and ALUs	Donnamaie E. White	[COMPLETE BOOK] Introduction to the Am2900 Family, offered by AMD (Advanced Micro Devices) in the 1980s.
The SPICE Handbook of 50 Basic Circuits	Steven M. Sandler	[COMPLETE BOOK] The beginning of the book concentrates on the basics of computer simulation of circuits. An overview of the three most popular SPICE programs are provided, along with their differences and peculiarities.
Title	Author	Description

EDA Courses Online

Course	Source	Description
ECE 2031 Digital Design	Georgia Tech	This website is a supplement to the textbook and is designed to give specific instructions for ECE 2031. Tutorials are included (or will be handed out in class) to demonstrate mixed logic, the oscilloscope, the logic analyzer, writing reports, and state machine designs. The student is required to read the laboratory and perform any Prelab exercises before coming to the lab, since most exercises will consume the full three-hour lab session.
VASCO – RTL VHDL Solution	VASCO	An advanced computer-based training on VHDL (Very high speed integrated circuit Hardware Description Language), VASCO is a must for both electronic students and engineers willing to get their hands on RTL (Register Transfer Level) programming for sythesis. The truly interactive CD-ROM course from MABEX-Multimedia comes with two pocket sized books giving quick access to over 200 pages of tips and definitions. Features include over 500 VHDL source codes and examples including over 350 VHDL examples fully synthesizable with Synopsys synthesis tool, FPGA Express. All examples are ready for cut-and-paste, supplemented with necessary declarations, making the code immediately simulatable. VASCO is also beleived to be the first product compliant with the new RTL VHDL standard 1076.6 from IEEE. A demo version is available at www.mabex.com. The full version is delivered for 199 USD.
Course	Source	Description

EDA Market Reports

Title	Source	Descriptions
EDA Licensing Models	EDA Today	This in-depth study clarifies key points of confusion surrounding the various types of EDA licensing models, analyzes their impact on several key financial metrics including revenues and earnings, and details financial analysts' perceptions of both licensing models and the companies that employ them. Release date: July 2001.	Order Online
Design Services in the Contract Electronic Manufacturing Industry	EDA Today	A complete qualitative analysis of the burgeoning market for outsourced design services provided by contract electronics manufacturers. This is a major study that draws equally from both the customers and suppliers of contract manufacturing services. Release date: June 1999.	Order Online
Title	Source	Descriptions